Program Verification by . . .
نویسندگان
چکیده
Program Verification by Lazy Abstraction
منابع مشابه
Introduction of a Reliable Software for the Calculation of the Gamma Index
Introduction: The gamma index is a known parameter for radiotherapy dose verification. Many free and commercial programs have been written for the calculation of this index. However, the verification of the results has been overlooked in many of the programs. The present study tested the validity of three gamma index calculator programs. Material and ...
متن کاملDeveloping a Verification and Training Phantom for Gynecological Brachytherapy System
Introduction Dosimetric accuracy is a major issue in the quality assurance (QA) program for treatment planning systems (TPS). An important contribution to this process has been a proper dosimetry method to guarantee the accuracy of delivered dose to the tumor. In brachytherapy (BT) of gynecological (Gyn) cancer it is usual to insert a combination of tandem and ovoid applicators with a complicat...
متن کاملDetermination of geometric accuracy of radiotherapy fields by port film and DRR using Matlab Graphical User Interface
Introduction: Radiation therapy is one of the methods of cancer treatment. In this method, it is necessary to avoid harming the healthy tissues of the patient which is in the vicinity of the target, as much as possible. Treatment verification is one of the most important steps of radiation therapy which has two usual methods, using Port film and EPID. The accuracy and precision of treatment in ...
متن کاملModeling of Riyadh Sewage Treatment Plant: 1-Model Development, Verification and Simulation
In Saudi Arabia, the Riyadh Sewage Treatment Plant (RSTP) uses the activated sludge technology as the secondary treatment process for sewage. Due to the complex nature of the process, a rather simplified, yet practical, steady state model that captures the most important features of the RSTP was developed. Actual operating and design conditions were obtained from RSTP data bank. The monthly ave...
متن کاملStatic and Runtime Verification, Competitors or Friends? (Track Summary)
Over the last years, significant progress has been made both on static and runtime program verification techniques, focusing on increasing the quality of software. Within this track, we would like to investigate how we can leverage these techniques by combining them. Questions that will be addressed are for example: what can static verification bring to runtime verification to reduce impact on ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004